Dynamic Field Theory of Sequential Action: A Model and its Implementation on an Embodied Agent Yulia Sandamirskaya Gregor Sch¨oner

Source URL: sandamirskaya.eu

Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Model theory
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Symbol
• First-order logic
• Linear temporal logic
• FO

Dr. Giuseppe Stracquadanio Research Areas: My research activity focuses on the study and implementation of high order accuracy numerical methods for the solution of BGK models in the frame of kinetic theory of rarefied g

Source URL: www.alumni.uni-wuerzburg.de

Two kinds of grammar implementation grammar/ linguisti theory Tree Adjoining Grammars

Source URL: user.phil-fak.uni-duesseldorf.de

High Accuracy Optical Flow Method Based on a Theory for Warping: Implementation and Qualitative/Quantitative Evaluation Mohammad Faisal and John Barron Dept. of Computer Science The University of Western Ontario

Source URL: www.csd.uwo.ca

Delft University of Technology Software Engineering Research Group Technical Report Series Parse Table Composition Separate Compilation and Binary

Source URL: swerl.tudelft.nl

• Compiler construction
• Computing
• Parsing
• Automata theory
• Models of computation
• LR parser
• Formal grammar
• Parsing table
• Compiler-compiler
• Formal languages
• Programming language implementation
• Software engineering

Delft University of Technology Software Engineering Research Group Technical Report Series Fusing a Transformation Language with an Open Compiler

Source URL: swerl.tudelft.nl

• Programming language implementation
• Transformation languages
• Program transformation
• ASF+SDF Meta Environment
• Compiler
• Principal component analysis
• Domain-specific language
• S0
• Type system
• Computing
• Software engineering
• Programming language theory

Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval

Source URL: schemeworkshop.org

• Formal languages
• Computing
• Automata theory
• Models of computation
• Parsing
• Lexical analysis
• Context-free grammar
• Parse tree
• Regular expression
• Programming language implementation
• Software engineering
• Compiler construction

ACAT 2002 Computation of Cohomology of Lie (Super)Algebra: Algorithms, Implementation and New Results Vladimir V. Kornyak LIT, JINR, Dubna

Source URL: acat02.sinp.msu.ru

• Algebra
• Homology theory
• Cohomology theories
• Cohomology
• Chain complex
• Group cohomology
• Steenrod algebra
• Abstract algebra
• Homological algebra
• Algebraic topology

This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp

Source URL: www.cs.utah.edu

• Science
• Formal sciences
• Compiler construction
• Mathematical logic
• Proof theory
• Isabelle
• Compiler
• Mathematical proof
• Model checking
• Logic
• Mathematics
• Programming language implementation